1061. Verification, Model Checking, and Abstract Interpretation :
Author: edited by Roberto Giacobazzi, Josh Berdine, Isabella Mastroeni.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer Communication Networks.,Computer science.,Software engineering.
Classification :
QA76
.
76
.
V47
E358
2013
1062. Verification, Model Checking, and Abstract Interpretation
Author: \ Deepak D’Souza, Akash Lal, Kim Guldstrand Larsen (Eds.)
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Computer software -- Verification -- Congresses.,Software engineering -- Congresses.,Logics and Meanings of Programs.,نرمافزار -- راستیآزمایی -- کنگره ها ,نرمافزار -- مهندسی-- کنگرهها
Classification :
QA
76
.
76
.
V47
2015
E-Book
,
1063. Verification and Validation of Real-Time Software
Author: edited by William J. Quirk.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Software engineering.
Classification :
QA76
.
54
E358
1985
1064. Verification manual for NISA II: numerically integrated elements for system analysis
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، NISA )Computer programs(,، Finite element method-- Computer programs
Classification :
QA
76
.
76
.
A52
.
V47
1992
1065. Verification manual for NISA II numerically integrated elements for system analysis
Author:
Library: Central Library and Documents Center of Industrial University of Khaje Nasiredin Toosi (Tehran)
Subject: ، Finite element method -- Computer programs.,، NISA )Computer programs(
Classification :
TA
347
.
F5V47
1066. Verification manual for NISA II: numerically integrated elements for system analysis version 94.0
Author:
Library: Central Library and Documents Center of Industrial University of Khaje Nasiredin Toosi (Tehran)
Subject: Computer programs ، Finite element method,، NISA )Computer programs(
Classification :
TA
347
.
F5V47
1994
1067. Verification manual for NISA II : numerically integrated elements for system analysis, version 92.0, September 1992
Author:
Library: Central Library of Amirkabir University of Technology (Tehran)
Subject: Finite element method - Computer programs - Handbooks, manuals, etc , NISA II )Computer systems( - Handbooks, manuals, etc
Classification :
TA
347
.
F5
V47
1992
1068. Verification of Business Rules Programs
Author: / Da Silva-Bruno Berstel
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ROBOTICS
Classification :
E-BOOK
1069. Verified software :
Author: Ruzica Piskac, Philipp Rümmer (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Compilers (Computer programs), Congresses.,Computer software-- Quality control, Congresses.,Computer software-- Verification, Congresses.,Compilers (Computer programs),Computer programming-- software development.,Computer software-- Quality control.,Computer software-- Verification.,Computers-- Expert Systems.,Computers-- General.,Computers-- Hardware-- Handheld Devices.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Expert systems-- knowledge-based systems.,Information technology: general issues.,Programming & scripting languages: general.,Software Engineering.,Systems analysis & design.
Classification :
QA76
.
76
.
V47
1070. Verified software
Author: / Gary T. Leavens, Peter O'Hearn, Sriram K. Rajamani (eds.)
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Computer programs--Verification--Congresses,Software.--swd,Verifikation.--swd,Programmtest.--swd,Programmanalyse.--swd,Programmverifikation.--swd,Formale Methode.--swd,Edinburgh <2010>--swd
Classification :
QA
,
76
.
76
,.
V47
,
V59
,
2010
1071. Vision and voyages for planetary science in the decade 2013-2022 /
Author: Committee on the Planetary Science Decadal Survey, Space Studies Board, Division on Engineering and Physical Sciences, National Research Council of the National Academies
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Earth sciences-- Research,Planetology-- Research,Space sciences-- Research-- United States-- Management,Outer space, Exploration, 0
Classification :
QB602
.
9
.
V576
2011
1072. Visual hydrology :
Author: Peter A. Mantz.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Water-supply engineering-- Computer programs.,Hydrologie.,Hydrologie.,Simulatiemodellen.,Visual Basic.,VisualBASIC für Applikationen.,Water-supply engineering-- Computer programs.
Classification :
TC409
.
M34
2004
1073. WTEC panel on nanostructure science and technology :
Author: [edited by] Richard W. Siegel [and others].
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Nanostructured materials.,Nanotechnologie -- Recherche.,Nanotechnology.
1074. Waller design of shear wall buildings:a post processor for Etabs
Author: Habibullah, Ashraf
Library: Library of Niroo Research Institue (Tehran)
Subject: ، Structural-analysis)engineering(-Computer programs,، Waller)computer file(
Classification :
TA
647
.
H34
1075. Water Quality Monitoring Network Design
Author: by Nilgun B. Harmancioglu, Okan Fistikoglu, Sevinc D. Ozkul, Vijay P. Singh, M. Necdet Alpaslan.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer Communication Networks.,Environmental management.,Environmental sciences.,Hydraulic engineering.,Information storage and retrieval systems.,Pollution.
1076. Water Surface profiles; users manual
Author:
Library: Central Library of Esfehan University of Technology (Esfahan)
Subject: Hydrolog- Computer Programs
Classification :
656
.
2
.
C63H9
1077. Web Workers: Multithreaded Programs in JavaScript
Author: / Ido Green
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: COMPUTER SCIENCE, SOFTWARE ENGINEERING
Classification :
E-BOOK
1078. What every engineer should know about Excel
Author: Holman, J. P. )Jack Philip(
Library: Library of Razi Metallurgical Research Center (Tehran)
Subject: ، Microsoft Excel )Computer file(,Computer programs ، Engineering
Classification :
TA
345
.
H65
2018
1079. What every engineer should know about Excel
Author: Holman, J. P. )Jack Philip(
Library: Central Library and Documentation Center (Kerman)
Subject: Computer programs ، Engineering
Classification :
TA
345
.
H65
2018
1080. What every engineer should know about Excel
Author: Holman, J. P. (Jack Philip)
Library: Central Library and Document Center of Isfahan University (Esfahan)
Subject: Microsoft Excel (Computer file) ► Engineering- Computer programs
Classification :
005
H747w
